441. foundations of mathematics
پدیدآورنده: Gupta , Parmanand
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع: ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G8F6
2008
442. روش های اثبات
پدیدآورنده: ولمن Velleman دانیل ج. , Daniel J.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics
رده :
QA
9
/
و
8
ر
9
1400
443. روش‌های اثبات
پدیدآورنده: / تالیف دانیل ولمان,عنوان اصلی: How to prove it : a structured approach,2nd ed,2006.,ولمن,Velleman
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics,a01,a01,a02,a02
رده :
QA
۹
/
و
۸
ر
۹ ۱۳۹۸
444. فلسفه ریاضیات
پدیدآورنده: دامت Dummett ، مایکل ا. ای. , Michael A. E.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: ریاضیات, Mathematics, منطق ریاضی, Logic, Symbolic and mathematical
رده :
QA
8/4
/
د
2
ف
8
1397
445. فلسفه ریاضیات
پدیدآورنده: مایکل دامت,دامت,Dummett
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: ریاضیات,Mathematics,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a02
رده :
QA
۸
/
۴
/
د
۲
ف
۸ ۱۳۹۶
446. مفهوم‌نگاشت
پدیدآورنده: / گوتلوب فرِگه,فرگه,Frege
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics, -- فلسفه, -- Philosophy,a02,a01
رده :
QA
۹
/
ف
۴
م
۷ ۱۳۹۶
